Step of Proof: decidable__assert 9,38
Inference at * 1 1 1 
Iof proof for Lemma decidable assert:



  tt 
latex
 by BackThruLemma `assert_of_tt` 
latex

 .

Definitionsb
Lemmasassert of tt

origin